; ModuleID = ""
target triple = "x86_64-pc-linux-gnu"
target datalayout = ""

define i64 @"SECRET"(i64 %"SymVar_0") nounwind
{
.3:
  %".4" = zext i8 61 to i64
  %".5" = and i64 %".4", 63
  %".6" = shl i64 %"SymVar_0", %".5"
  %".7" = zext i8 3 to i64
  %".8" = and i64 %".7", 63
  %".9" = lshr i64 %"SymVar_0", %".8"
  %".10" = or i64 %".6", %".9"
  %".11" = sub i64 %".10", 1072693119
  %".12" = or i64 %".11", %"SymVar_0"
  %".13" = sub i64 %".12", 300260246
  %".14" = zext i8 7 to i64
  %".15" = and i64 %".14", 63
  %".16" = shl i64 %".13", %".15"
  %".17" = sext i64 %".16" to i128
  %".18" = sext i64 %".11" to i128
  %".19" = sext i64 %"SymVar_0" to i128
  %".20" = mul i128 %".18", %".19"
  %".21" = trunc i128 %".20" to i64
  %".22" = sext i64 %".21" to i128
  %".23" = mul i128 %".17", %".22"
  %".24" = trunc i128 %".23" to i64
  %".25" = sub i64 %"SymVar_0", 2305843009341932414
  %".26" = add i64 %".24", %".25"
  %".27" = and i64 63, %".26"
  %".28" = zext i8 4 to i64
  %".29" = and i64 %".28", 63
  %".30" = shl i64 %".27", %".29"
  %".31" = lshr i64 %".13", 32
  %".32" = trunc i64 %".31" to i8
  %".33" = zext i8 %".32" to i32
  %".34" = lshr i64 %".13", 40
  %".35" = trunc i64 %".34" to i8
  %".36" = zext i8 %".35" to i32
  %".37" = shl i32 %".36", 8
  %".38" = or i32 %".33", %".37"
  %".39" = lshr i64 %".13", 48
  %".40" = trunc i64 %".39" to i8
  %".41" = zext i8 %".40" to i32
  %".42" = shl i32 %".41", 16
  %".43" = or i32 %".38", %".42"
  %".44" = lshr i64 %".13", 56
  %".45" = trunc i64 %".44" to i8
  %".46" = zext i8 %".45" to i32
  %".47" = shl i32 %".46", 24
  %".48" = or i32 %".43", %".47"
  %".49" = zext i32 %".48" to i64
  %".50" = trunc i64 %".49" to i32
  %".51" = zext i32 %".50" to i64
  %".52" = trunc i64 %".51" to i32
  %".53" = zext i32 %".52" to i64
  %".54" = trunc i64 %".53" to i32
  %".55" = zext i32 %".54" to i64
  %".56" = trunc i64 %".55" to i32
  %".57" = zext i32 %".56" to i64
  %".58" = trunc i64 %".57" to i32
  %".59" = zext i32 %".58" to i64
  %".60" = trunc i64 %".59" to i32
  %".61" = zext i32 %".60" to i64
  %".62" = trunc i64 %".61" to i32
  %".63" = zext i32 %".62" to i64
  %".64" = trunc i64 %".63" to i32
  %".65" = trunc i32 %".64" to i8
  %".66" = zext i8 %".65" to i64
  %".67" = trunc i64 %".63" to i32
  %".68" = lshr i32 %".67", 8
  %".69" = trunc i32 %".68" to i8
  %".70" = zext i8 %".69" to i64
  %".71" = shl i64 %".70", 8
  %".72" = or i64 %".66", %".71"
  %".73" = trunc i64 %".63" to i32
  %".74" = lshr i32 %".73", 16
  %".75" = trunc i32 %".74" to i8
  %".76" = zext i8 %".75" to i64
  %".77" = shl i64 %".76", 16
  %".78" = or i64 %".72", %".77"
  %".79" = trunc i64 %".63" to i32
  %".80" = lshr i32 %".79", 24
  %".81" = trunc i32 %".80" to i8
  %".82" = zext i8 %".81" to i64
  %".83" = shl i64 %".82", 24
  %".84" = or i64 %".78", %".83"
  %".85" = trunc i64 %".13" to i8
  %".86" = zext i8 %".85" to i32
  %".87" = lshr i64 %".13", 8
  %".88" = trunc i64 %".87" to i8
  %".89" = zext i8 %".88" to i32
  %".90" = shl i32 %".89", 8
  %".91" = or i32 %".86", %".90"
  %".92" = lshr i64 %".13", 16
  %".93" = trunc i64 %".92" to i8
  %".94" = zext i8 %".93" to i32
  %".95" = shl i32 %".94", 16
  %".96" = or i32 %".91", %".95"
  %".97" = lshr i64 %".13", 24
  %".98" = trunc i64 %".97" to i8
  %".99" = zext i8 %".98" to i32
  %".100" = shl i32 %".99", 24
  %".101" = or i32 %".96", %".100"
  %".102" = zext i32 %".101" to i64
  %".103" = trunc i64 %".102" to i32
  %".104" = zext i32 %".103" to i64
  %".105" = trunc i64 %".104" to i32
  %".106" = zext i32 %".105" to i64
  %".107" = trunc i64 %".106" to i32
  %".108" = zext i32 %".107" to i64
  %".109" = trunc i64 %".108" to i32
  %".110" = trunc i32 %".109" to i8
  %".111" = zext i8 %".110" to i64
  %".112" = shl i64 %".111", 32
  %".113" = or i64 %".84", %".112"
  %".114" = trunc i64 %".108" to i32
  %".115" = lshr i32 %".114", 8
  %".116" = trunc i32 %".115" to i8
  %".117" = zext i8 %".116" to i64
  %".118" = shl i64 %".117", 40
  %".119" = or i64 %".113", %".118"
  %".120" = trunc i64 %".108" to i32
  %".121" = lshr i32 %".120", 16
  %".122" = trunc i32 %".121" to i8
  %".123" = zext i8 %".122" to i64
  %".124" = shl i64 %".123", 48
  %".125" = or i64 %".119", %".124"
  %".126" = trunc i64 %".108" to i32
  %".127" = lshr i32 %".126", 24
  %".128" = trunc i32 %".127" to i8
  %".129" = zext i8 %".128" to i64
  %".130" = shl i64 %".129", 56
  %".131" = or i64 %".125", %".130"
  %".132" = or i64 %".30", %".131"
  %".133" = trunc i64 %".132" to i8
  %".134" = zext i8 %".133" to i64
  %".135" = lshr i64 %".132", 40
  %".136" = trunc i64 %".135" to i8
  %".137" = zext i8 %".136" to i32
  %".138" = zext i32 %".137" to i64
  %".139" = trunc i64 %".138" to i8
  %".140" = zext i8 %".139" to i32
  %".141" = zext i32 %".140" to i64
  %".142" = trunc i64 %".141" to i8
  %".143" = zext i8 %".142" to i32
  %".144" = zext i32 %".143" to i64
  %".145" = trunc i64 %".144" to i8
  %".146" = zext i8 %".145" to i32
  %".147" = zext i32 %".146" to i64
  %".148" = trunc i64 %".147" to i8
  %".149" = zext i8 %".148" to i32
  %".150" = zext i32 %".149" to i64
  %".151" = trunc i64 %".150" to i8
  %".152" = zext i8 %".151" to i32
  %".153" = zext i32 %".152" to i64
  %".154" = trunc i64 %".153" to i8
  %".155" = zext i8 %".154" to i32
  %".156" = zext i32 %".155" to i64
  %".157" = trunc i64 %".156" to i8
  %".158" = zext i8 %".157" to i32
  %".159" = zext i32 %".158" to i64
  %".160" = trunc i64 %".159" to i8
  %".161" = zext i8 %".160" to i64
  %".162" = shl i64 %".161", 8
  %".163" = or i64 %".134", %".162"
  %".164" = lshr i64 %".132", 16
  %".165" = trunc i64 %".164" to i8
  %".166" = zext i8 %".165" to i64
  %".167" = shl i64 %".166", 16
  %".168" = or i64 %".163", %".167"
  %".169" = lshr i64 %".132", 24
  %".170" = trunc i64 %".169" to i8
  %".171" = zext i8 %".170" to i64
  %".172" = shl i64 %".171", 24
  %".173" = or i64 %".168", %".172"
  %".174" = lshr i64 %".132", 32
  %".175" = trunc i64 %".174" to i8
  %".176" = zext i8 %".175" to i64
  %".177" = shl i64 %".176", 32
  %".178" = or i64 %".173", %".177"
  %".179" = lshr i64 %".132", 8
  %".180" = trunc i64 %".179" to i8
  %".181" = zext i8 %".180" to i32
  %".182" = zext i32 %".181" to i64
  %".183" = trunc i64 %".182" to i8
  %".184" = zext i8 %".183" to i32
  %".185" = zext i32 %".184" to i64
  %".186" = trunc i64 %".185" to i8
  %".187" = zext i8 %".186" to i32
  %".188" = zext i32 %".187" to i64
  %".189" = trunc i64 %".188" to i8
  %".190" = zext i8 %".189" to i32
  %".191" = zext i32 %".190" to i64
  %".192" = trunc i64 %".191" to i8
  %".193" = zext i8 %".192" to i64
  %".194" = shl i64 %".193", 40
  %".195" = or i64 %".178", %".194"
  %".196" = lshr i64 %".132", 48
  %".197" = trunc i64 %".196" to i8
  %".198" = zext i8 %".197" to i64
  %".199" = shl i64 %".198", 48
  %".200" = or i64 %".195", %".199"
  %".201" = lshr i64 %".132", 56
  %".202" = trunc i64 %".201" to i8
  %".203" = zext i8 %".202" to i64
  %".204" = shl i64 %".203", 56
  %".205" = or i64 %".200", %".204"
  %".206" = add i64 %".24", %".24"
  %".207" = and i64 63, %".206"
  %".208" = zext i8 4 to i64
  %".209" = and i64 %".208", 63
  %".210" = shl i64 %".207", %".209"
  %".211" = lshr i64 %".11", 32
  %".212" = trunc i64 %".211" to i8
  %".213" = zext i8 %".212" to i32
  %".214" = lshr i64 %".11", 40
  %".215" = trunc i64 %".214" to i8
  %".216" = zext i8 %".215" to i32
  %".217" = shl i32 %".216", 8
  %".218" = or i32 %".213", %".217"
  %".219" = lshr i64 %".11", 48
  %".220" = trunc i64 %".219" to i8
  %".221" = zext i8 %".220" to i32
  %".222" = shl i32 %".221", 16
  %".223" = or i32 %".218", %".222"
  %".224" = lshr i64 %".11", 56
  %".225" = trunc i64 %".224" to i8
  %".226" = zext i8 %".225" to i32
  %".227" = shl i32 %".226", 24
  %".228" = or i32 %".223", %".227"
  %".229" = zext i32 %".228" to i64
  %".230" = trunc i64 %".229" to i32
  %".231" = zext i32 %".230" to i64
  %".232" = trunc i64 %".231" to i32
  %".233" = zext i32 %".232" to i64
  %".234" = trunc i64 %".233" to i32
  %".235" = zext i32 %".234" to i64
  %".236" = trunc i64 %".235" to i32
  %".237" = zext i32 %".236" to i64
  %".238" = trunc i64 %".237" to i32
  %".239" = zext i32 %".238" to i64
  %".240" = trunc i64 %".239" to i32
  %".241" = zext i32 %".240" to i64
  %".242" = trunc i64 %".241" to i32
  %".243" = zext i32 %".242" to i64
  %".244" = trunc i64 %".243" to i32
  %".245" = trunc i32 %".244" to i8
  %".246" = zext i8 %".245" to i64
  %".247" = trunc i64 %".243" to i32
  %".248" = lshr i32 %".247", 8
  %".249" = trunc i32 %".248" to i8
  %".250" = zext i8 %".249" to i64
  %".251" = shl i64 %".250", 8
  %".252" = or i64 %".246", %".251"
  %".253" = trunc i64 %".243" to i32
  %".254" = lshr i32 %".253", 16
  %".255" = trunc i32 %".254" to i8
  %".256" = zext i8 %".255" to i64
  %".257" = shl i64 %".256", 16
  %".258" = or i64 %".252", %".257"
  %".259" = trunc i64 %".243" to i32
  %".260" = lshr i32 %".259", 24
  %".261" = trunc i32 %".260" to i8
  %".262" = zext i8 %".261" to i64
  %".263" = shl i64 %".262", 24
  %".264" = or i64 %".258", %".263"
  %".265" = trunc i64 %".11" to i8
  %".266" = zext i8 %".265" to i32
  %".267" = lshr i64 %".11", 8
  %".268" = trunc i64 %".267" to i8
  %".269" = zext i8 %".268" to i32
  %".270" = shl i32 %".269", 8
  %".271" = or i32 %".266", %".270"
  %".272" = lshr i64 %".11", 16
  %".273" = trunc i64 %".272" to i8
  %".274" = zext i8 %".273" to i32
  %".275" = shl i32 %".274", 16
  %".276" = or i32 %".271", %".275"
  %".277" = lshr i64 %".11", 24
  %".278" = trunc i64 %".277" to i8
  %".279" = zext i8 %".278" to i32
  %".280" = shl i32 %".279", 24
  %".281" = or i32 %".276", %".280"
  %".282" = zext i32 %".281" to i64
  %".283" = trunc i64 %".282" to i32
  %".284" = zext i32 %".283" to i64
  %".285" = trunc i64 %".284" to i32
  %".286" = zext i32 %".285" to i64
  %".287" = trunc i64 %".286" to i32
  %".288" = zext i32 %".287" to i64
  %".289" = trunc i64 %".288" to i32
  %".290" = trunc i32 %".289" to i8
  %".291" = zext i8 %".290" to i64
  %".292" = shl i64 %".291", 32
  %".293" = or i64 %".264", %".292"
  %".294" = trunc i64 %".288" to i32
  %".295" = lshr i32 %".294", 8
  %".296" = trunc i32 %".295" to i8
  %".297" = zext i8 %".296" to i64
  %".298" = shl i64 %".297", 40
  %".299" = or i64 %".293", %".298"
  %".300" = trunc i64 %".288" to i32
  %".301" = lshr i32 %".300", 16
  %".302" = trunc i32 %".301" to i8
  %".303" = zext i8 %".302" to i64
  %".304" = shl i64 %".303", 48
  %".305" = or i64 %".299", %".304"
  %".306" = trunc i64 %".288" to i32
  %".307" = lshr i32 %".306", 24
  %".308" = trunc i32 %".307" to i8
  %".309" = zext i8 %".308" to i64
  %".310" = shl i64 %".309", 56
  %".311" = or i64 %".305", %".310"
  %".312" = or i64 %".210", %".311"
  %".313" = add i64 %".205", %".312"
  %".314" = and i64 %".25", %".24"
  %".315" = and i64 15, %".314"
  %".316" = or i64 1, %".315"
  %".317" = sub i64 64, %".316"
  %".318" = trunc i64 %".317" to i8
  %".319" = zext i8 %".318" to i64
  %".320" = and i64 %".319", 63
  %".321" = lshr i64 %".313", %".320"
  %".322" = zext i8 %".133" to i64
  %".323" = zext i8 %".160" to i64
  %".324" = shl i64 %".323", 8
  %".325" = or i64 %".322", %".324"
  %".326" = zext i8 %".165" to i64
  %".327" = shl i64 %".326", 16
  %".328" = or i64 %".325", %".327"
  %".329" = zext i8 %".170" to i64
  %".330" = shl i64 %".329", 24
  %".331" = or i64 %".328", %".330"
  %".332" = zext i8 %".175" to i64
  %".333" = shl i64 %".332", 32
  %".334" = or i64 %".331", %".333"
  %".335" = zext i8 %".192" to i64
  %".336" = shl i64 %".335", 40
  %".337" = or i64 %".334", %".336"
  %".338" = zext i8 %".197" to i64
  %".339" = shl i64 %".338", 48
  %".340" = or i64 %".337", %".339"
  %".341" = zext i8 %".202" to i64
  %".342" = shl i64 %".341", 56
  %".343" = or i64 %".340", %".342"
  %".344" = add i64 %".343", %".312"
  %".345" = and i64 %".25", %".24"
  %".346" = and i64 15, %".345"
  %".347" = or i64 1, %".346"
  %".348" = trunc i64 %".347" to i32
  %".349" = zext i32 %".348" to i64
  %".350" = trunc i64 %".349" to i8
  %".351" = zext i8 %".350" to i64
  %".352" = and i64 %".351", 63
  %".353" = shl i64 %".344", %".352"
  %".354" = or i64 %".321", %".353"
  ret i64 %".354"
}
